Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Nicole Lévy »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Nicole Levy < Nicole Lévy < Nicole S. Sampson  Facettes :

List of bibliographic references indexed by Nicole Lévy

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
008B38 (2002) Nicole Lévy [France] ; Rafael Marcano Kamenoff [France] ; Jeanine Souquières [France]From Requirements to Formal Specification Using UML and B
009809 (2000-01) Rafael Marcano Kamenoff [France] ; Eric Meyer [France] ; Nicole Lévy [France] ; Jeanine Souquières [France]Utilisation de patterns dans la construction de specifications en UML et B
009B65 (2000) Songsakdi Rongviriyapanish ; Nicole LévyVariations sur le style architectural Pipe&Filter
00A037 (2000) Rafael Marcano Kamenoff [France] ; Nicole Lévy [France] ; Francisca LosavioSpécification et spécialisation de patterns en UML et B
00A115 (2000) Songsakdi Rongviriyapanish [France] ; Nicole Lévy [France]Variations sur le style architectural Pipe and Filter
00A750 (1999) Songsakdi Rongviriyapanish ; Nicole LévyVariations on the Pipe and Filter Architectural Style
00AB96 (1999) Songsakdi Rongviriyapanish [France] ; Nicole Lévy [France]Variations on the Pipe and Filter Architectural Style
00AD47 (1999) Nicole Lévy [France] ; Francisca LosavioAnalyzing and Comparing Architectural Styles
00B075 (1998) Thomas Lambolais ; Nicole Lévy ; Jeanine SouquièresAssistance au développement de spécifications de protocoles de communication
00B188 (1998) Nicole Lévy ; Francisca Losavio ; Alfredo MatteoComparing Architectural Styles : Broker Specializes Mediator
00B677 (1998) Nicole Lévy [France] ; Francisca Losavio ; Alfredo MatteoComparing Architectural Styles: Broker Specializes Mediator
00B935 (1997) Maritta Heisel ; Nicole Lévy ; Francisca Losavio ; Alfredo MatteoFormalizing Communication Aspects of Design Patterns Using LOTOS
00B943 (1997) Nicole Lévy ; Jeanine SouquièresModelling Specification Construction by Successive Approximations
00BA02 (1997) Thomas Lambolais ; Nicole Lévy ; Jeanine SouquièresAssistance au développement de spécifications de protocoles de communication
00BA72 (1997) Jeanine Souquières ; Najib El Cadi ; Nicole Lévy ; Thomas LambolaisPROPLANE : Aide au développement de spécifications formelles : Application aux protocoles de communication
00BB98 (1997) Maritta Heisel [Allemagne] ; Nicole Lévy [France]Using LOTOS patterns to characterize architectural styles
00BC33 (1997) Nicole Lévy [France] ; Jeanine Souquières [France]Modelling specification construction by successive approximations
00BE21 (1996) Nicole Lévy ; Jeanine SouquièresA ``Coming and Going'' Approach to Specification Construction ; A Scenario
00BE58 (1996) Jeanine Souquières ; Nicole LévyPROPLANE : A Specification Development Environment
00C035 (1996) Jeanine Souquières [France] ; Nicole Lévy [France]Proplane: A specification development environment

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Nicole Lévy" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Nicole Lévy" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Nicole Lévy
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022